-
Notifications
You must be signed in to change notification settings - Fork 5.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add EIP: Verkle proof verification precompile #7926
Conversation
✅ All reviewers have approved. |
The commit 4f3d750 (as a parent of 33c62c2) contains errors. |
EIPS/eip-7926.md
Outdated
@@ -0,0 +1,81 @@ | |||
--- | |||
eip: 7926 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
eip: 7926 | |
eip: 7545 |
Assigning number 7545
EIP numbering now follows https://docs.google.com/spreadsheets/d/1f6a4_DPbNOmi4RqlHrDntWfuBjyI8iMWw-r0UwR4JW4/edit#gid=0
Please also update file name
EIPS/eip-7926.md
Outdated
|
||
## Rationale | ||
|
||
Stateless Ethereum relies on proofs using advanced mathematical concepts and tools from a fast-moving area of cryptography. As a result, a soft-fork approach is currently favored in the choice of the proof format: proofs are going to be distributed outside of consensus, and in the future, stateless clients will be able to chose their favorite proof format. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is there any proposal of gas cost and analysis to backup that proposed gas cost?
@eth-bot rerun |
EIPS/eip-7545.md
Outdated
|
||
A precompiled contract is added at address 0x21, wrapping the stateless ethereum proof verification function. | ||
|
||
The precompile requites 4 inputs, tightly encoded: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The precompile requites 4 inputs, tightly encoded: | |
The precompile requires 4 fixed size inputs concatenated as below: |
Co-authored-by: g11tech <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
lgtm
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All Reviewers Have Approved; Performing Automatic Merge...
No description provided.